1. Algebraic and logic programming :
پدیدآورنده: J. Grabowski, P. Lescanne, W. Wechler (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
2. Artificial intelligence :
پدیدآورنده: George F. Luger, William A Stubblefield.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Knowledge representation (Information theory),LISP (Computer program language),Problem solving.,Prolog (Computer program language),Intelligence artificielle-- Informatique.,Intelligence artificielle.,LISP (Langage de programmation),Prolog (Langage de programmation),Représentation des connaissances.,Résolution de problème.,Systèmes experts (Informatique),Artificial intelligence.,ARTIFICIAL INTELLIGENCE.,EXPERT SYSTEMS.,IMAGE ANALYSIS.,IMAGE PROCESSING.,KNOWLEDGE BASES (ARTIFICIAL INTELLIGENCE),Knowledge representation (Information theory),KNOWLEDGE REPRESENTATION.,Künstliche Intelligenz,Kunstmatige intelligentie.,LISP (Computer program language),MACHINE LEARNING.,NATURAL LANGUAGE (COMPUTERS),PATTERN RECOGNITION.,Problem solving.,Problemlösen,Prolog (Computer program language),SELF ORGANIZING SYSTEMS.,SYSTEMS ENGINEERING.
رده :
Q335
.
L84
1998
3. CAAP '81 :
پدیدآورنده: ed. by E. Astesiano and C. Böhm.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer software.,Grafentheorie.
4. Computational Logic - CL 2000 :
پدیدآورنده: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
5. Computer Program Synthesis Methodologies :
پدیدآورنده: edited by Alan W. Biermann, Gérard Guiho.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.
6. Database applications using prolog
پدیدآورنده: Lucas, Robert
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Computer systems- Programming languages prolog
رده :
QA
76
.
73
.
L9D3
7. Distributed Systems :
پدیدآورنده: by Albert Fleischmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
9
.
D5
B935
1994
8. Formal Methods and Software Development :
پدیدآورنده: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.
9. Formal methods in standards :
پدیدآورنده: from the BCS working group ; ed. by C.L.N. Ruggles.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA76
.
9
.
S8
F766
1990
10. Industrial and Engineering Applications of Artificial Intelligence and Expert Systems :
پدیدآورنده: edited by Fevzi Belli, Franz Josef Radermacher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Business.,Computer science.,Management science.
رده :
Q334
.
E358
1992
11. LISP /
پدیدآورنده: Patrick Henry Winston, Berthold Klaus Paul Horn.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: LISP (Computer program language),Programming Languages.
رده :
QA76
.
73
.
L23
W56
1984
12. Logic Programming :
پدیدآورنده: by Isaac Balbin, Koenraad Lecot.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
رده :
QA76
.
6
B957
1985
13. Logic programming '88 :
پدیدآورنده: K. Furukawa, H. Tanaka, T. Fujisaki (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming-- Congresses.
رده :
QA76
.
63
.
L63
1989
14. New Trends in Computer Graphics Proceedings of CG International '88
پدیدآورنده: Nadia Magnenat-Thalmann
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
T385
.
N335
2013
15. PROLOG for Computer Science
پدیدآورنده: by M.S. Dawe, C.M. Dawe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
73
.
P76
B967
1994
16. Parallel processing and parallel algorithms :
پدیدآورنده: Seyed H Roosta
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA76
.
58
S494
2013
17. Persistent object systems :
پدیدآورنده: of the third international workshop on persistent object systems, Newcastle, Australia, 10-13 january 1989 ; John Rosenberg and David Koch ed.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: persistance.,programmation orientée objet.,système orienté objet.
رده :
QA76
.
64
O384
1990
18. Practical aspects of declarative languages :
پدیدآورنده: PADL 2000, Boston, MA, USA, January 17- 18, 2000. Enrico Pontelli ; Vítor Santos Costa (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: ;Deklarative Programmiersprache,Boston Mass., 2000>,Deklarative Programmiersprache.
19. Principles of logic and logic programming /
پدیدآورنده: G. Metakides, A. Nerode ; with the cooperation of A. Sinachopoulos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming.,Logic, Symbolic and mathematical.,Logique symbolique et mathématique.,Programmation logique.,COMPUTERS-- Programming Languages-- General.,Logic programming.,Logic, Symbolic and mathematical.,Logisch programmeren.
رده :
QA76
.
63
.
M473
1996eb
20. Programming in Prolog
پدیدآورنده: by William F. Clocksin, Christopher S. Mellish.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
رده :
QA76
.
73
.
P76
B995
1994
